CS 770 : Selected Topics in Object - Oriented Programming 2000 - 2001 , first term Instructor : Emil Sekerinski
نویسنده
چکیده
data typing Inheritance Object orientation Object identity Recovery Versioning Transactions Querying Concurrency Integrity Persistence Database Security capabilities Performance Object-oriented databases Figure 1.1 Object-oriented databases. 1.1 What is an Object-oriented Database? Concept of Object Oriented Databases 4 Some of the critics of object-oriented programming have brushed it aside as a high-flying fad (Guthery, 1989). Object orientation allows a more direct representation and modeling of real-world problems. Database functionality is needed to ensure persistence and concurrent sharing of information in applications. Object-oriented databases combine the benefits and concepts of object orientation with database functionality. Object orientation is defined as follows: Object Orientation = Abstract data typing + Inheritance + Object identity Database capabilities are defined as follows: Database capabilities = Persistence + Concurrency + Transactions + Recovery + Querying + Versioning + Integrity + Security + Performance Object-oriented databases are thus defined as follows: Object-oriented databases = Object Orientation + Database capabilities Therefore object-oriented databases are an extension of two concepts: object orientation and databases. The potential of object-oriented databases lies in the tight integration of these two aspects. There have been many definitions of object orientation and object-oriented databases (Atkinson et al., 1992; Hughes, 1991; Kim, 1991). Object-oriented databases constitute an important step in the evolution of database, illustrated in Figure 1.2 File systems Network Hierarchical
منابع مشابه
Verification and refinement with fine-grained action-based concurrent objects
Action-based concurrent object-oriented programs express autonomous behavior of objects through actions that, like methods, are attached to objects but, in contrast to methods, may execute autonomously whenever their guard is true. The promise is a streamlining of the program structure by eliminating the distinction between processes and objects and a streamlining of correctness arguments. In t...
متن کاملOn Object-Oriented Design and Verification
We present a theory of object-orientation on the basis of the re-nement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as reenement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is reened by both classes, and an algorithm to construct ...
متن کاملConcurrent Object-Oriented Programs: From Specification to Code
In this paper we put forward a concurrent object-oriented programming language in which concurrency is tightly integrated with objects. Concurrency is expressed by extending classes with actions and allowing methods to be guarded. Concurrency in an object may be hidden to the outside, thus allowing concurrency to be introduced in subclasses of a class hierarchy. A disciplined form of intra-obje...
متن کاملClass Re nement and Interface Re nement in Object-Oriented Programs
Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or re ned in their subclasses. This paper de nes a class re nement relation which captures these semantic constraints. The class re nement relation is...
متن کاملiState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with t...
متن کامل